Logical Conversions
نویسنده
چکیده
As I have argued elsewhere [10], and as summarized in the first two sections below, it turns out to be both logically and semantically revealing to acknowledge the existence of converse, or conversely construed, quantifiers, which mirror their classical, or classically construed, counterparts. In this paper I argue that classically construed quantifiers in their turn mirror their conversely construed counterparts in transitive verb/direct object constructions. The phenomena can be properly understood if we discharge the domain presupposition which is associated with the classical construal from its default existential import. We propose to, instead, draw from a concept of intentional reification, that goes without existential commitment.
منابع مشابه
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives
Commuting conversions were introduced in the natural deduction calculus as ad hoc devices for the purpose of guaranteeing the subformula property in normal proofs. In a well known book, Jean-Yves Girard commented harshly on these conversions, saying that ‘one tends to think that natural deduction should be modified to correct such atrocities.’ We present an embedding of the intuitionistic predi...
متن کاملA Logical Framework with Explicit Conversions
The type theory λP corresponds to the logical framework LF. In this paper we present λH, a variant of λP where convertibility is not implemented by means of the customary conversion rule, but instead type conversions are made explicit in the terms. This means that the time to type check a λH term is proportional to the size of the term itself. We define an erasure map from λH to λP , and show t...
متن کاملDesign of WDM Networks Exploiting OTDM and Light-Splitters
Wavelength routed optical networks allow to design a logical topology, comprising lightpaths and routers, which is overlayed on the physical topology, comprising optical fibers and optical cross-connects, by solving a Routing and Wavelength Assignment (RWA) problem. In this paper we extend the concept of lightpath to the one of Super-LightTree, which uses a simple bit level Time Division Multip...
متن کاملExploiting OTDM technology in WDM networks
Wavelength routed optical networks allow to design a logical topology, comprising lightpaths and routers, which is overlayed on the physical topology, comprising optical fibers and optical cross-connects, by solving a Routing and Wavelength Assignment (RWA) problem. In this paper we extend the concept of lightpath to the one of Super-Lightpath, which uses a simple bit level Time Division Multip...
متن کاملLinear logical relations and observational equivalences for session-based concurrency
We investigate strong normalization, confluence, and behavioral equality in the realmof session-based concurrency. These interrelated issues underpin advanced correctnessanalysis in models of structured communications. The starting point for our study isan interpretation of linear logic propositions as session types for communicating pro-cesses, proposed in prior work. Strong no...
متن کاملCoCONet: A collision-free container-based core optical network
Electrical-to-optical domain conversions and vice versa (denoted by O/E/O conversions) for each hop in optical core transport networks impose considerable capital and financial overhead on the providers. In this paper, we propose a full-mesh topology driven core network with a central scheduler that handles the task of signaling and coordination among slot transmissions for every hop to elimina...
متن کامل